type X = {():T}
